]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be8b23e) | patch
tools: Drop gnome-shell-overrides-migration.sh
authorPhilip Withnall <pwithnall@endlessos.org>
Mon, 23 Jan 2023 16:38:36 +0000 (16:38 +0000)
committerPhilip Withnall <pwithnall@endlessos.org>
Mon, 23 Jan 2023 16:38:36 +0000 (16:38 +0000)
commita9e6e44ef898671229388938cc3ed511fa394dfc
tree2e8bb250e92ff9c3c7689cb02d03f4ff17b2fe59tree | snapshot
parentbe8b23efb7c9e0f81b1f34bd71b305cda3c0161ecommit | diff
tools: Drop gnome-shell-overrides-migration.sh

The tool was added in 2018 to migrate to per-desktop overrides from the
old overrides system.

5 years later, everyone who’s going to migrate probably has migrated, so
we can delete the script and remove a process running on every login.

Signed-off-by: Philip Withnall <pwithnall@endlessos.org>
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2611>
data/gnome-shell-overrides-migration.desktop.in [deleted file] blob | history
data/meson.build diff | blob | history
meson.build diff | blob | history
tools/gnome-shell-overrides-migration.sh [deleted file] blob | history
tools/meson.build [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.